Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
121	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
122	On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance
123	Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2006-09-25 20:40:20 Functional languages Data types Functional programming Object-oriented programming languages Programming idioms OCaml Structural type system Scala ALGOL 68 Recursion Monad C++ classes
124	An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß∗ Christian Wirth† Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software engineering Computing Computer programming Data types Object-oriented programming Type theory Cross-platform software Immutable object JavaScript Const Method Java
125	DSL Summer School Intro Martin Odersky EPFL Why DSLs? 1. Give users ways to express themselves in a notation Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Computing Software engineering Functional languages Object-oriented programming languages Scripting languages Array data structure Array data type Red Scala Apache Spark
126	Operating Costs in Summary by Object (Type) and Function (PurposeProjected 2013 Actual Add to Reading List Source URL: northcitywater.org Language: English - Date: 2015-08-27 18:59:08
127	Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:46:56 Type theory Object-oriented programming Data types Functional programming OCaml Structural type system Ocsigen Type system Duck typing Immutable object Caml Constant
128	KFS OBJECT CODE GUIDE Summary: This document explains the relationship between KFS Object Codes, Level Codes, and Consolidation Codes. KFS is Object Code driven, which means the KFS Object Code determines the type of acc Add to Reading List Source URL: apps.adcom.uci.edu Language: English - Date: 2015-05-14 17:57:25 Data management Database transaction Transaction processing

UPDATE